101. Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia
پدیدآورنده : edited by J. N. Crossley
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings
رده :
QA
3
.
L28
Vol
.
450
102. Algebra and logic: papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings
رده :
QA
3
.
L28
no
.
450
103. Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
پدیدآورنده : edited by J. N. Crossley
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings
رده :
QA
1
.
L4
v
.
450
104. Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
پدیدآورنده : edited by J. N. Crossley
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings
رده :
QA
9
.
A4
1975
105. Algebra and logic: papers from the 1974 summer research institute of the Australian mathematical-Society, Monash University Australia
پدیدآورنده : edited by J.N.Crossley
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Groups, Theory of,Congresses ، Commutative rings
رده :
QA
3
.
L28
no
.
450
106. Algebra, logic, and combinatorics
پدیدآورنده : \ editors, Shaun Bullett, Queen Mary University of London, UK, Tom Fearn, University College London, UK, Frank Smith, University College London, UK.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Algebra.,Logic, Symbolic and mathematical.,Combinatorial analysis.,Differential equations.,جبر,منطق ریاضی ,آنالیز ترکیبی
رده :
QA155
.
A525
2016
E-book
,
107. Algebra, mathematical logic, number theory, topology
پدیدآورنده : editorial board of the anniversary collection, I.M. Vinogradov, editor-in-chief ... )et al.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Algebra,، Logic, Symbolic and mathematical,، Number theory,، Topology
رده :
QA
1
.
A413
v
.
168
108. Algebra, mathematical logic, number theory, topology
پدیدآورنده : editorial board of the anniversary collection, I. M. Vinogradov, editor in chief ... ]et al.[
کتابخانه: (طهران)
موضوع : ، Algebra,، Logic, Symbolic and mathematical,، Number theory,، Topology
رده :
QA
1
.
P736
Vol
.
168
109. Algebra, mathematical logic, number theory, topology,Algebra, matematicheskaia logika, teoriia chisel, topologiia
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Algebra,، Logic, Symbolic and mathematical,، Number theory,، Topology
رده :
QA
1
.
A413
1986
issue
3
,
etc
110. Algebraic analysis of basic propositional logic
پدیدآورنده : by: Majid Alizadeh,^AAlizadeh, Majid
کتابخانه: (طهران)
موضوع : Logic, Symbolic and mathematical,Algebraic logic,Interpolation,Amalgamation
111. Algebraic and logic programming, international workshop, Gaussig, GDR, November 1988, proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Algebraic logic-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
10
.
I5
1988
112. Algebraic logic
پدیدآورنده : Halmos, Paul R.)Paul Richard(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Algebraic logic,، Logic Symbolic and mathematical
رده :
QA
266
.
H3
113. Algebraic methods of mathematical logic
پدیدآورنده : Rieger, Ladislav
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
R6413
114. Algebraic perspectives on substructural logics
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
115. Algebraic systems
پدیدآورنده : )by( A. I. Mal'cev. Translated from the Russian by B. D. Seckler and A. P. Doohovskoy,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Algebra, Abstract,Model theory,Logic, Symbolic and mathematical
رده :
QA
.
M3413
162
116. Algebraic systems
پدیدآورنده : Maltsev, Anatolii Ivanovich
کتابخانه: (طهران)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
162
.
M3513
1973
117. Algebraic systems
پدیدآورنده : Maltsev, Anatolii Ivanovich
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
1
.
G7
v
.
192
118. Algebraic systems
پدیدآورنده : Mal'tsev, Anatolii Ivanovich, 9091-7691
کتابخانه: (طهران)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
162
.
M3413
1973
119. Algorithmic aspects of algebra and logic : collected papers dedicated to Academician Sergei Ivanovich Adian on the Occasion of his 80th birthday
پدیدآورنده : ]volume editor, L.D. Beklemishev; translated and published by Maik Nauka/Interperiodica
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Algorithms
رده :
QA
1
.
P736
Vol
.
274